cd ssolver
sh comp.sh
cd ..
ocamlyacc -v spiparser.mly
ocamllex spilexer.mll
ocamlopt -I ssolver/ -o spichecker str.cmxa unix.cmxa ssolver.cmxa spitree.ml aconv.ml auxiliary.ml spiparser.mli spiparser.ml spilexer.ml datquery.ml spichecker.ml
